<b>R/S Res. and Searching for Jossie</b> // R/S Res. y Buscando a Jossie

RES: A Relative Method for Evidential Reasoning

In this paper we describe a novel method for evidential reasoning [1]. It involves mod­ elling the process of evidential reasoning in three steps, namely, evidence structure con­ struction, evidence accumulation, and deci­ sion making. The proposed method, called 'RfS, is novel in that evidence strength is associated with an evidential support relationship (an argu­ ment) between a pair of stat...

North End Res

Res Judicata in California

Nucleic Acids Res

DNA microarrays enable users to obtain information on differences in transcript abundance on a massively parallel scale. Recently, however, data analyses have revealed potential pitfalls related to image acquisition, variability and misclassifications in replicate measurements, crosshybridization and sensitivity limitations. We have generated a series of analytical tools to address the manufact...

Short $\mathsf{Res}^*(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutations

In this note we show that any k-CNF which can be refuted by a quasi-polynomial Res(polylog) refutation has a “narrow” refutation in Res (i.e., of poly-logarithmic width). Notice that while Res(polylog) is a complete proof system, this is not the case for Res if we ask for a narrow refutation. In particular is not even possible to express all CNFs with narrow clauses. But even for constant width...